3.1.1 \(\int (e x)^m (a+b x^2)^3 (A+B x^2) (c+d x^2) \, dx\) [1]
Optimal. Leaf size=189 \[ \frac {a^3 A c (e x)^{1+m}}{e (1+m)}+\frac {a^2 (3 A b c+a B c+a A d) (e x)^{3+m}}{e^3 (3+m)}+\frac {a (3 A b (b c+a d)+a B (3 b c+a d)) (e x)^{5+m}}{e^5 (5+m)}+\frac {b (3 a B (b c+a d)+A b (b c+3 a d)) (e x)^{7+m}}{e^7 (7+m)}+\frac {b^2 (b B c+A b d+3 a B d) (e x)^{9+m}}{e^9 (9+m)}+\frac {b^3 B d (e x)^{11+m}}{e^{11} (11+m)} \]
[Out]
a^3*A*c*(e*x)^(1+m)/e/(1+m)+a^2*(A*a*d+3*A*b*c+B*a*c)*(e*x)^(3+m)/e^3/(3+m)+a*(3*A*b*(a*d+b*c)+a*B*(a*d+3*b*c)
)*(e*x)^(5+m)/e^5/(5+m)+b*(3*a*B*(a*d+b*c)+A*b*(3*a*d+b*c))*(e*x)^(7+m)/e^7/(7+m)+b^2*(A*b*d+3*B*a*d+B*b*c)*(e
*x)^(9+m)/e^9/(9+m)+b^3*B*d*(e*x)^(11+m)/e^11/(11+m)
________________________________________________________________________________________
Rubi [A]
time = 0.12, antiderivative size = 189, normalized size of antiderivative = 1.00, number of steps
used = 2, number of rules used = 1, integrand size = 29, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.034, Rules used = {584}
\begin {gather*} \frac {a^3 A c (e x)^{m+1}}{e (m+1)}+\frac {a^2 (e x)^{m+3} (a A d+a B c+3 A b c)}{e^3 (m+3)}+\frac {b^2 (e x)^{m+9} (3 a B d+A b d+b B c)}{e^9 (m+9)}+\frac {b (e x)^{m+7} (A b (3 a d+b c)+3 a B (a d+b c))}{e^7 (m+7)}+\frac {a (e x)^{m+5} (3 A b (a d+b c)+a B (a d+3 b c))}{e^5 (m+5)}+\frac {b^3 B d (e x)^{m+11}}{e^{11} (m+11)} \end {gather*}
Antiderivative was successfully verified.
[In]
Int[(e*x)^m*(a + b*x^2)^3*(A + B*x^2)*(c + d*x^2),x]
[Out]
(a^3*A*c*(e*x)^(1 + m))/(e*(1 + m)) + (a^2*(3*A*b*c + a*B*c + a*A*d)*(e*x)^(3 + m))/(e^3*(3 + m)) + (a*(3*A*b*
(b*c + a*d) + a*B*(3*b*c + a*d))*(e*x)^(5 + m))/(e^5*(5 + m)) + (b*(3*a*B*(b*c + a*d) + A*b*(b*c + 3*a*d))*(e*
x)^(7 + m))/(e^7*(7 + m)) + (b^2*(b*B*c + A*b*d + 3*a*B*d)*(e*x)^(9 + m))/(e^9*(9 + m)) + (b^3*B*d*(e*x)^(11 +
m))/(e^11*(11 + m))
Rule 584
Int[((g_.)*(x_))^(m_.)*((a_) + (b_.)*(x_)^(n_))^(p_.)*((c_) + (d_.)*(x_)^(n_))^(q_.)*((e_) + (f_.)*(x_)^(n_))^
(r_.), x_Symbol] :> Int[ExpandIntegrand[(g*x)^m*(a + b*x^n)^p*(c + d*x^n)^q*(e + f*x^n)^r, x], x] /; FreeQ[{a,
b, c, d, e, f, g, m, n}, x] && IGtQ[p, -2] && IGtQ[q, 0] && IGtQ[r, 0]
Rubi steps
\begin {align*} \int (e x)^m \left (a+b x^2\right )^3 \left (A+B x^2\right ) \left (c+d x^2\right ) \, dx &=\int \left (a^3 A c (e x)^m+\frac {a^2 (3 A b c+a B c+a A d) (e x)^{2+m}}{e^2}+\frac {a (3 A b (b c+a d)+a B (3 b c+a d)) (e x)^{4+m}}{e^4}+\frac {b (3 a B (b c+a d)+A b (b c+3 a d)) (e x)^{6+m}}{e^6}+\frac {b^2 (b B c+A b d+3 a B d) (e x)^{8+m}}{e^8}+\frac {b^3 B d (e x)^{10+m}}{e^{10}}\right ) \, dx\\ &=\frac {a^3 A c (e x)^{1+m}}{e (1+m)}+\frac {a^2 (3 A b c+a B c+a A d) (e x)^{3+m}}{e^3 (3+m)}+\frac {a (3 A b (b c+a d)+a B (3 b c+a d)) (e x)^{5+m}}{e^5 (5+m)}+\frac {b (3 a B (b c+a d)+A b (b c+3 a d)) (e x)^{7+m}}{e^7 (7+m)}+\frac {b^2 (b B c+A b d+3 a B d) (e x)^{9+m}}{e^9 (9+m)}+\frac {b^3 B d (e x)^{11+m}}{e^{11} (11+m)}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.47, size = 151, normalized size = 0.80 \begin {gather*} x (e x)^m \left (\frac {a^3 A c}{1+m}+\frac {a^2 (3 A b c+a B c+a A d) x^2}{3+m}+\frac {a (3 A b (b c+a d)+a B (3 b c+a d)) x^4}{5+m}+\frac {b (3 a B (b c+a d)+A b (b c+3 a d)) x^6}{7+m}+\frac {b^2 (b B c+A b d+3 a B d) x^8}{9+m}+\frac {b^3 B d x^{10}}{11+m}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
Integrate[(e*x)^m*(a + b*x^2)^3*(A + B*x^2)*(c + d*x^2),x]
[Out]
x*(e*x)^m*((a^3*A*c)/(1 + m) + (a^2*(3*A*b*c + a*B*c + a*A*d)*x^2)/(3 + m) + (a*(3*A*b*(b*c + a*d) + a*B*(3*b*
c + a*d))*x^4)/(5 + m) + (b*(3*a*B*(b*c + a*d) + A*b*(b*c + 3*a*d))*x^6)/(7 + m) + (b^2*(b*B*c + A*b*d + 3*a*B
*d)*x^8)/(9 + m) + (b^3*B*d*x^10)/(11 + m))
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(1228\) vs.
\(2(189)=378\).
time = 0.11, size = 1229, normalized size = 6.50 Too large to display
Verification of antiderivative is not currently implemented for this CAS.
[In]
int((e*x)^m*(b*x^2+a)^3*(B*x^2+A)*(d*x^2+c),x,method=_RETURNVERBOSE)
[Out]
x*(B*b^3*d*m^5*x^10+25*B*b^3*d*m^4*x^10+A*b^3*d*m^5*x^8+3*B*a*b^2*d*m^5*x^8+B*b^3*c*m^5*x^8+230*B*b^3*d*m^3*x^
10+27*A*b^3*d*m^4*x^8+81*B*a*b^2*d*m^4*x^8+27*B*b^3*c*m^4*x^8+950*B*b^3*d*m^2*x^10+3*A*a*b^2*d*m^5*x^6+A*b^3*c
*m^5*x^6+262*A*b^3*d*m^3*x^8+3*B*a^2*b*d*m^5*x^6+3*B*a*b^2*c*m^5*x^6+786*B*a*b^2*d*m^3*x^8+262*B*b^3*c*m^3*x^8
+1689*B*b^3*d*m*x^10+87*A*a*b^2*d*m^4*x^6+29*A*b^3*c*m^4*x^6+1122*A*b^3*d*m^2*x^8+87*B*a^2*b*d*m^4*x^6+87*B*a*
b^2*c*m^4*x^6+3366*B*a*b^2*d*m^2*x^8+1122*B*b^3*c*m^2*x^8+945*B*b^3*d*x^10+3*A*a^2*b*d*m^5*x^4+3*A*a*b^2*c*m^5
*x^4+906*A*a*b^2*d*m^3*x^6+302*A*b^3*c*m^3*x^6+2041*A*b^3*d*m*x^8+B*a^3*d*m^5*x^4+3*B*a^2*b*c*m^5*x^4+906*B*a^
2*b*d*m^3*x^6+906*B*a*b^2*c*m^3*x^6+6123*B*a*b^2*d*m*x^8+2041*B*b^3*c*m*x^8+93*A*a^2*b*d*m^4*x^4+93*A*a*b^2*c*
m^4*x^4+4098*A*a*b^2*d*m^2*x^6+1366*A*b^3*c*m^2*x^6+1155*A*b^3*d*x^8+31*B*a^3*d*m^4*x^4+93*B*a^2*b*c*m^4*x^4+4
098*B*a^2*b*d*m^2*x^6+4098*B*a*b^2*c*m^2*x^6+3465*B*a*b^2*d*x^8+1155*B*b^3*c*x^8+A*a^3*d*m^5*x^2+3*A*a^2*b*c*m
^5*x^2+1050*A*a^2*b*d*m^3*x^4+1050*A*a*b^2*c*m^3*x^4+7731*A*a*b^2*d*m*x^6+2577*A*b^3*c*m*x^6+B*a^3*c*m^5*x^2+3
50*B*a^3*d*m^3*x^4+1050*B*a^2*b*c*m^3*x^4+7731*B*a^2*b*d*m*x^6+7731*B*a*b^2*c*m*x^6+33*A*a^3*d*m^4*x^2+99*A*a^
2*b*c*m^4*x^2+5190*A*a^2*b*d*m^2*x^4+5190*A*a*b^2*c*m^2*x^4+4455*A*a*b^2*d*x^6+1485*A*b^3*c*x^6+33*B*a^3*c*m^4
*x^2+1730*B*a^3*d*m^2*x^4+5190*B*a^2*b*c*m^2*x^4+4455*B*a^2*b*d*x^6+4455*B*a*b^2*c*x^6+A*a^3*c*m^5+406*A*a^3*d
*m^3*x^2+1218*A*a^2*b*c*m^3*x^2+10467*A*a^2*b*d*m*x^4+10467*A*a*b^2*c*m*x^4+406*B*a^3*c*m^3*x^2+3489*B*a^3*d*m
*x^4+10467*B*a^2*b*c*m*x^4+35*A*a^3*c*m^4+2262*A*a^3*d*m^2*x^2+6786*A*a^2*b*c*m^2*x^2+6237*A*a^2*b*d*x^4+6237*
A*a*b^2*c*x^4+2262*B*a^3*c*m^2*x^2+2079*B*a^3*d*x^4+6237*B*a^2*b*c*x^4+470*A*a^3*c*m^3+5353*A*a^3*d*m*x^2+1605
9*A*a^2*b*c*m*x^2+5353*B*a^3*c*m*x^2+3010*A*a^3*c*m^2+3465*A*a^3*d*x^2+10395*A*a^2*b*c*x^2+3465*B*a^3*c*x^2+91
29*A*a^3*c*m+10395*A*a^3*c)*(e*x)^m/(11+m)/(9+m)/(7+m)/(5+m)/(3+m)/(1+m)
________________________________________________________________________________________
Maxima [A]
time = 0.33, size = 353, normalized size = 1.87 \begin {gather*} \frac {B b^{3} d x^{11} e^{\left (m \log \left (x\right ) + m\right )}}{m + 11} + \frac {B b^{3} c x^{9} e^{\left (m \log \left (x\right ) + m\right )}}{m + 9} + \frac {3 \, B a b^{2} d x^{9} e^{\left (m \log \left (x\right ) + m\right )}}{m + 9} + \frac {A b^{3} d x^{9} e^{\left (m \log \left (x\right ) + m\right )}}{m + 9} + \frac {3 \, B a b^{2} c x^{7} e^{\left (m \log \left (x\right ) + m\right )}}{m + 7} + \frac {A b^{3} c x^{7} e^{\left (m \log \left (x\right ) + m\right )}}{m + 7} + \frac {3 \, B a^{2} b d x^{7} e^{\left (m \log \left (x\right ) + m\right )}}{m + 7} + \frac {3 \, A a b^{2} d x^{7} e^{\left (m \log \left (x\right ) + m\right )}}{m + 7} + \frac {3 \, B a^{2} b c x^{5} e^{\left (m \log \left (x\right ) + m\right )}}{m + 5} + \frac {3 \, A a b^{2} c x^{5} e^{\left (m \log \left (x\right ) + m\right )}}{m + 5} + \frac {B a^{3} d x^{5} e^{\left (m \log \left (x\right ) + m\right )}}{m + 5} + \frac {3 \, A a^{2} b d x^{5} e^{\left (m \log \left (x\right ) + m\right )}}{m + 5} + \frac {B a^{3} c x^{3} e^{\left (m \log \left (x\right ) + m\right )}}{m + 3} + \frac {3 \, A a^{2} b c x^{3} e^{\left (m \log \left (x\right ) + m\right )}}{m + 3} + \frac {A a^{3} d x^{3} e^{\left (m \log \left (x\right ) + m\right )}}{m + 3} + \frac {\left (x e\right )^{m + 1} A a^{3} c e^{\left (-1\right )}}{m + 1} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate((e*x)^m*(b*x^2+a)^3*(B*x^2+A)*(d*x^2+c),x, algorithm="maxima")
[Out]
B*b^3*d*x^11*e^(m*log(x) + m)/(m + 11) + B*b^3*c*x^9*e^(m*log(x) + m)/(m + 9) + 3*B*a*b^2*d*x^9*e^(m*log(x) +
m)/(m + 9) + A*b^3*d*x^9*e^(m*log(x) + m)/(m + 9) + 3*B*a*b^2*c*x^7*e^(m*log(x) + m)/(m + 7) + A*b^3*c*x^7*e^(
m*log(x) + m)/(m + 7) + 3*B*a^2*b*d*x^7*e^(m*log(x) + m)/(m + 7) + 3*A*a*b^2*d*x^7*e^(m*log(x) + m)/(m + 7) +
3*B*a^2*b*c*x^5*e^(m*log(x) + m)/(m + 5) + 3*A*a*b^2*c*x^5*e^(m*log(x) + m)/(m + 5) + B*a^3*d*x^5*e^(m*log(x)
+ m)/(m + 5) + 3*A*a^2*b*d*x^5*e^(m*log(x) + m)/(m + 5) + B*a^3*c*x^3*e^(m*log(x) + m)/(m + 3) + 3*A*a^2*b*c*x
^3*e^(m*log(x) + m)/(m + 3) + A*a^3*d*x^3*e^(m*log(x) + m)/(m + 3) + (x*e)^(m + 1)*A*a^3*c*e^(-1)/(m + 1)
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 912 vs.
\(2 (189) = 378\).
time = 1.63, size = 912, normalized size = 4.83 \begin {gather*} \frac {{\left ({\left (B b^{3} d m^{5} + 25 \, B b^{3} d m^{4} + 230 \, B b^{3} d m^{3} + 950 \, B b^{3} d m^{2} + 1689 \, B b^{3} d m + 945 \, B b^{3} d\right )} x^{11} + {\left ({\left (B b^{3} c + {\left (3 \, B a b^{2} + A b^{3}\right )} d\right )} m^{5} + 1155 \, B b^{3} c + 27 \, {\left (B b^{3} c + {\left (3 \, B a b^{2} + A b^{3}\right )} d\right )} m^{4} + 262 \, {\left (B b^{3} c + {\left (3 \, B a b^{2} + A b^{3}\right )} d\right )} m^{3} + 1122 \, {\left (B b^{3} c + {\left (3 \, B a b^{2} + A b^{3}\right )} d\right )} m^{2} + 1155 \, {\left (3 \, B a b^{2} + A b^{3}\right )} d + 2041 \, {\left (B b^{3} c + {\left (3 \, B a b^{2} + A b^{3}\right )} d\right )} m\right )} x^{9} + {\left ({\left ({\left (3 \, B a b^{2} + A b^{3}\right )} c + 3 \, {\left (B a^{2} b + A a b^{2}\right )} d\right )} m^{5} + 29 \, {\left ({\left (3 \, B a b^{2} + A b^{3}\right )} c + 3 \, {\left (B a^{2} b + A a b^{2}\right )} d\right )} m^{4} + 302 \, {\left ({\left (3 \, B a b^{2} + A b^{3}\right )} c + 3 \, {\left (B a^{2} b + A a b^{2}\right )} d\right )} m^{3} + 1366 \, {\left ({\left (3 \, B a b^{2} + A b^{3}\right )} c + 3 \, {\left (B a^{2} b + A a b^{2}\right )} d\right )} m^{2} + 1485 \, {\left (3 \, B a b^{2} + A b^{3}\right )} c + 4455 \, {\left (B a^{2} b + A a b^{2}\right )} d + 2577 \, {\left ({\left (3 \, B a b^{2} + A b^{3}\right )} c + 3 \, {\left (B a^{2} b + A a b^{2}\right )} d\right )} m\right )} x^{7} + {\left ({\left (3 \, {\left (B a^{2} b + A a b^{2}\right )} c + {\left (B a^{3} + 3 \, A a^{2} b\right )} d\right )} m^{5} + 31 \, {\left (3 \, {\left (B a^{2} b + A a b^{2}\right )} c + {\left (B a^{3} + 3 \, A a^{2} b\right )} d\right )} m^{4} + 350 \, {\left (3 \, {\left (B a^{2} b + A a b^{2}\right )} c + {\left (B a^{3} + 3 \, A a^{2} b\right )} d\right )} m^{3} + 1730 \, {\left (3 \, {\left (B a^{2} b + A a b^{2}\right )} c + {\left (B a^{3} + 3 \, A a^{2} b\right )} d\right )} m^{2} + 6237 \, {\left (B a^{2} b + A a b^{2}\right )} c + 2079 \, {\left (B a^{3} + 3 \, A a^{2} b\right )} d + 3489 \, {\left (3 \, {\left (B a^{2} b + A a b^{2}\right )} c + {\left (B a^{3} + 3 \, A a^{2} b\right )} d\right )} m\right )} x^{5} + {\left ({\left (A a^{3} d + {\left (B a^{3} + 3 \, A a^{2} b\right )} c\right )} m^{5} + 3465 \, A a^{3} d + 33 \, {\left (A a^{3} d + {\left (B a^{3} + 3 \, A a^{2} b\right )} c\right )} m^{4} + 406 \, {\left (A a^{3} d + {\left (B a^{3} + 3 \, A a^{2} b\right )} c\right )} m^{3} + 2262 \, {\left (A a^{3} d + {\left (B a^{3} + 3 \, A a^{2} b\right )} c\right )} m^{2} + 3465 \, {\left (B a^{3} + 3 \, A a^{2} b\right )} c + 5353 \, {\left (A a^{3} d + {\left (B a^{3} + 3 \, A a^{2} b\right )} c\right )} m\right )} x^{3} + {\left (A a^{3} c m^{5} + 35 \, A a^{3} c m^{4} + 470 \, A a^{3} c m^{3} + 3010 \, A a^{3} c m^{2} + 9129 \, A a^{3} c m + 10395 \, A a^{3} c\right )} x\right )} \left (x e\right )^{m}}{m^{6} + 36 \, m^{5} + 505 \, m^{4} + 3480 \, m^{3} + 12139 \, m^{2} + 19524 \, m + 10395} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate((e*x)^m*(b*x^2+a)^3*(B*x^2+A)*(d*x^2+c),x, algorithm="fricas")
[Out]
((B*b^3*d*m^5 + 25*B*b^3*d*m^4 + 230*B*b^3*d*m^3 + 950*B*b^3*d*m^2 + 1689*B*b^3*d*m + 945*B*b^3*d)*x^11 + ((B*
b^3*c + (3*B*a*b^2 + A*b^3)*d)*m^5 + 1155*B*b^3*c + 27*(B*b^3*c + (3*B*a*b^2 + A*b^3)*d)*m^4 + 262*(B*b^3*c +
(3*B*a*b^2 + A*b^3)*d)*m^3 + 1122*(B*b^3*c + (3*B*a*b^2 + A*b^3)*d)*m^2 + 1155*(3*B*a*b^2 + A*b^3)*d + 2041*(B
*b^3*c + (3*B*a*b^2 + A*b^3)*d)*m)*x^9 + (((3*B*a*b^2 + A*b^3)*c + 3*(B*a^2*b + A*a*b^2)*d)*m^5 + 29*((3*B*a*b
^2 + A*b^3)*c + 3*(B*a^2*b + A*a*b^2)*d)*m^4 + 302*((3*B*a*b^2 + A*b^3)*c + 3*(B*a^2*b + A*a*b^2)*d)*m^3 + 136
6*((3*B*a*b^2 + A*b^3)*c + 3*(B*a^2*b + A*a*b^2)*d)*m^2 + 1485*(3*B*a*b^2 + A*b^3)*c + 4455*(B*a^2*b + A*a*b^2
)*d + 2577*((3*B*a*b^2 + A*b^3)*c + 3*(B*a^2*b + A*a*b^2)*d)*m)*x^7 + ((3*(B*a^2*b + A*a*b^2)*c + (B*a^3 + 3*A
*a^2*b)*d)*m^5 + 31*(3*(B*a^2*b + A*a*b^2)*c + (B*a^3 + 3*A*a^2*b)*d)*m^4 + 350*(3*(B*a^2*b + A*a*b^2)*c + (B*
a^3 + 3*A*a^2*b)*d)*m^3 + 1730*(3*(B*a^2*b + A*a*b^2)*c + (B*a^3 + 3*A*a^2*b)*d)*m^2 + 6237*(B*a^2*b + A*a*b^2
)*c + 2079*(B*a^3 + 3*A*a^2*b)*d + 3489*(3*(B*a^2*b + A*a*b^2)*c + (B*a^3 + 3*A*a^2*b)*d)*m)*x^5 + ((A*a^3*d +
(B*a^3 + 3*A*a^2*b)*c)*m^5 + 3465*A*a^3*d + 33*(A*a^3*d + (B*a^3 + 3*A*a^2*b)*c)*m^4 + 406*(A*a^3*d + (B*a^3
+ 3*A*a^2*b)*c)*m^3 + 2262*(A*a^3*d + (B*a^3 + 3*A*a^2*b)*c)*m^2 + 3465*(B*a^3 + 3*A*a^2*b)*c + 5353*(A*a^3*d
+ (B*a^3 + 3*A*a^2*b)*c)*m)*x^3 + (A*a^3*c*m^5 + 35*A*a^3*c*m^4 + 470*A*a^3*c*m^3 + 3010*A*a^3*c*m^2 + 9129*A*
a^3*c*m + 10395*A*a^3*c)*x)*(x*e)^m/(m^6 + 36*m^5 + 505*m^4 + 3480*m^3 + 12139*m^2 + 19524*m + 10395)
________________________________________________________________________________________
Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 5992 vs.
\(2 (184) = 368\).
time = 0.97, size = 5992, normalized size = 31.70 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate((e*x)**m*(b*x**2+a)**3*(B*x**2+A)*(d*x**2+c),x)
[Out]
Piecewise(((-A*a**3*c/(10*x**10) - A*a**3*d/(8*x**8) - 3*A*a**2*b*c/(8*x**8) - A*a**2*b*d/(2*x**6) - A*a*b**2*
c/(2*x**6) - 3*A*a*b**2*d/(4*x**4) - A*b**3*c/(4*x**4) - A*b**3*d/(2*x**2) - B*a**3*c/(8*x**8) - B*a**3*d/(6*x
**6) - B*a**2*b*c/(2*x**6) - 3*B*a**2*b*d/(4*x**4) - 3*B*a*b**2*c/(4*x**4) - 3*B*a*b**2*d/(2*x**2) - B*b**3*c/
(2*x**2) + B*b**3*d*log(x))/e**11, Eq(m, -11)), ((-A*a**3*c/(8*x**8) - A*a**3*d/(6*x**6) - A*a**2*b*c/(2*x**6)
- 3*A*a**2*b*d/(4*x**4) - 3*A*a*b**2*c/(4*x**4) - 3*A*a*b**2*d/(2*x**2) - A*b**3*c/(2*x**2) + A*b**3*d*log(x)
- B*a**3*c/(6*x**6) - B*a**3*d/(4*x**4) - 3*B*a**2*b*c/(4*x**4) - 3*B*a**2*b*d/(2*x**2) - 3*B*a*b**2*c/(2*x**
2) + 3*B*a*b**2*d*log(x) + B*b**3*c*log(x) + B*b**3*d*x**2/2)/e**9, Eq(m, -9)), ((-A*a**3*c/(6*x**6) - A*a**3*
d/(4*x**4) - 3*A*a**2*b*c/(4*x**4) - 3*A*a**2*b*d/(2*x**2) - 3*A*a*b**2*c/(2*x**2) + 3*A*a*b**2*d*log(x) + A*b
**3*c*log(x) + A*b**3*d*x**2/2 - B*a**3*c/(4*x**4) - B*a**3*d/(2*x**2) - 3*B*a**2*b*c/(2*x**2) + 3*B*a**2*b*d*
log(x) + 3*B*a*b**2*c*log(x) + 3*B*a*b**2*d*x**2/2 + B*b**3*c*x**2/2 + B*b**3*d*x**4/4)/e**7, Eq(m, -7)), ((-A
*a**3*c/(4*x**4) - A*a**3*d/(2*x**2) - 3*A*a**2*b*c/(2*x**2) + 3*A*a**2*b*d*log(x) + 3*A*a*b**2*c*log(x) + 3*A
*a*b**2*d*x**2/2 + A*b**3*c*x**2/2 + A*b**3*d*x**4/4 - B*a**3*c/(2*x**2) + B*a**3*d*log(x) + 3*B*a**2*b*c*log(
x) + 3*B*a**2*b*d*x**2/2 + 3*B*a*b**2*c*x**2/2 + 3*B*a*b**2*d*x**4/4 + B*b**3*c*x**4/4 + B*b**3*d*x**6/6)/e**5
, Eq(m, -5)), ((-A*a**3*c/(2*x**2) + A*a**3*d*log(x) + 3*A*a**2*b*c*log(x) + 3*A*a**2*b*d*x**2/2 + 3*A*a*b**2*
c*x**2/2 + 3*A*a*b**2*d*x**4/4 + A*b**3*c*x**4/4 + A*b**3*d*x**6/6 + B*a**3*c*log(x) + B*a**3*d*x**2/2 + 3*B*a
**2*b*c*x**2/2 + 3*B*a**2*b*d*x**4/4 + 3*B*a*b**2*c*x**4/4 + B*a*b**2*d*x**6/2 + B*b**3*c*x**6/6 + B*b**3*d*x*
*8/8)/e**3, Eq(m, -3)), ((A*a**3*c*log(x) + A*a**3*d*x**2/2 + 3*A*a**2*b*c*x**2/2 + 3*A*a**2*b*d*x**4/4 + 3*A*
a*b**2*c*x**4/4 + A*a*b**2*d*x**6/2 + A*b**3*c*x**6/6 + A*b**3*d*x**8/8 + B*a**3*c*x**2/2 + B*a**3*d*x**4/4 +
3*B*a**2*b*c*x**4/4 + B*a**2*b*d*x**6/2 + B*a*b**2*c*x**6/2 + 3*B*a*b**2*d*x**8/8 + B*b**3*c*x**8/8 + B*b**3*d
*x**10/10)/e, Eq(m, -1)), (A*a**3*c*m**5*x*(e*x)**m/(m**6 + 36*m**5 + 505*m**4 + 3480*m**3 + 12139*m**2 + 1952
4*m + 10395) + 35*A*a**3*c*m**4*x*(e*x)**m/(m**6 + 36*m**5 + 505*m**4 + 3480*m**3 + 12139*m**2 + 19524*m + 103
95) + 470*A*a**3*c*m**3*x*(e*x)**m/(m**6 + 36*m**5 + 505*m**4 + 3480*m**3 + 12139*m**2 + 19524*m + 10395) + 30
10*A*a**3*c*m**2*x*(e*x)**m/(m**6 + 36*m**5 + 505*m**4 + 3480*m**3 + 12139*m**2 + 19524*m + 10395) + 9129*A*a*
*3*c*m*x*(e*x)**m/(m**6 + 36*m**5 + 505*m**4 + 3480*m**3 + 12139*m**2 + 19524*m + 10395) + 10395*A*a**3*c*x*(e
*x)**m/(m**6 + 36*m**5 + 505*m**4 + 3480*m**3 + 12139*m**2 + 19524*m + 10395) + A*a**3*d*m**5*x**3*(e*x)**m/(m
**6 + 36*m**5 + 505*m**4 + 3480*m**3 + 12139*m**2 + 19524*m + 10395) + 33*A*a**3*d*m**4*x**3*(e*x)**m/(m**6 +
36*m**5 + 505*m**4 + 3480*m**3 + 12139*m**2 + 19524*m + 10395) + 406*A*a**3*d*m**3*x**3*(e*x)**m/(m**6 + 36*m*
*5 + 505*m**4 + 3480*m**3 + 12139*m**2 + 19524*m + 10395) + 2262*A*a**3*d*m**2*x**3*(e*x)**m/(m**6 + 36*m**5 +
505*m**4 + 3480*m**3 + 12139*m**2 + 19524*m + 10395) + 5353*A*a**3*d*m*x**3*(e*x)**m/(m**6 + 36*m**5 + 505*m*
*4 + 3480*m**3 + 12139*m**2 + 19524*m + 10395) + 3465*A*a**3*d*x**3*(e*x)**m/(m**6 + 36*m**5 + 505*m**4 + 3480
*m**3 + 12139*m**2 + 19524*m + 10395) + 3*A*a**2*b*c*m**5*x**3*(e*x)**m/(m**6 + 36*m**5 + 505*m**4 + 3480*m**3
+ 12139*m**2 + 19524*m + 10395) + 99*A*a**2*b*c*m**4*x**3*(e*x)**m/(m**6 + 36*m**5 + 505*m**4 + 3480*m**3 + 1
2139*m**2 + 19524*m + 10395) + 1218*A*a**2*b*c*m**3*x**3*(e*x)**m/(m**6 + 36*m**5 + 505*m**4 + 3480*m**3 + 121
39*m**2 + 19524*m + 10395) + 6786*A*a**2*b*c*m**2*x**3*(e*x)**m/(m**6 + 36*m**5 + 505*m**4 + 3480*m**3 + 12139
*m**2 + 19524*m + 10395) + 16059*A*a**2*b*c*m*x**3*(e*x)**m/(m**6 + 36*m**5 + 505*m**4 + 3480*m**3 + 12139*m**
2 + 19524*m + 10395) + 10395*A*a**2*b*c*x**3*(e*x)**m/(m**6 + 36*m**5 + 505*m**4 + 3480*m**3 + 12139*m**2 + 19
524*m + 10395) + 3*A*a**2*b*d*m**5*x**5*(e*x)**m/(m**6 + 36*m**5 + 505*m**4 + 3480*m**3 + 12139*m**2 + 19524*m
+ 10395) + 93*A*a**2*b*d*m**4*x**5*(e*x)**m/(m**6 + 36*m**5 + 505*m**4 + 3480*m**3 + 12139*m**2 + 19524*m + 1
0395) + 1050*A*a**2*b*d*m**3*x**5*(e*x)**m/(m**6 + 36*m**5 + 505*m**4 + 3480*m**3 + 12139*m**2 + 19524*m + 103
95) + 5190*A*a**2*b*d*m**2*x**5*(e*x)**m/(m**6 + 36*m**5 + 505*m**4 + 3480*m**3 + 12139*m**2 + 19524*m + 10395
) + 10467*A*a**2*b*d*m*x**5*(e*x)**m/(m**6 + 36*m**5 + 505*m**4 + 3480*m**3 + 12139*m**2 + 19524*m + 10395) +
6237*A*a**2*b*d*x**5*(e*x)**m/(m**6 + 36*m**5 + 505*m**4 + 3480*m**3 + 12139*m**2 + 19524*m + 10395) + 3*A*a*b
**2*c*m**5*x**5*(e*x)**m/(m**6 + 36*m**5 + 505*m**4 + 3480*m**3 + 12139*m**2 + 19524*m + 10395) + 93*A*a*b**2*
c*m**4*x**5*(e*x)**m/(m**6 + 36*m**5 + 505*m**4 + 3480*m**3 + 12139*m**2 + 19524*m + 10395) + 1050*A*a*b**2*c*
m**3*x**5*(e*x)**m/(m**6 + 36*m**5 + 505*m**4 + 3480*m**3 + 12139*m**2 + 19524*m + 10395) + 5190*A*a*b**2*c*m*
*2*x**5*(e*x)**m/(m**6 + 36*m**5 + 505*m**4 + 3...
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 1708 vs.
\(2 (189) = 378\).
time = 1.24, size = 1708, normalized size = 9.04 \begin {gather*} \frac {B b^{3} d m^{5} x^{11} x^{m} e^{m} + 25 \, B b^{3} d m^{4} x^{11} x^{m} e^{m} + B b^{3} c m^{5} x^{9} x^{m} e^{m} + 3 \, B a b^{2} d m^{5} x^{9} x^{m} e^{m} + A b^{3} d m^{5} x^{9} x^{m} e^{m} + 230 \, B b^{3} d m^{3} x^{11} x^{m} e^{m} + 27 \, B b^{3} c m^{4} x^{9} x^{m} e^{m} + 81 \, B a b^{2} d m^{4} x^{9} x^{m} e^{m} + 27 \, A b^{3} d m^{4} x^{9} x^{m} e^{m} + 950 \, B b^{3} d m^{2} x^{11} x^{m} e^{m} + 3 \, B a b^{2} c m^{5} x^{7} x^{m} e^{m} + A b^{3} c m^{5} x^{7} x^{m} e^{m} + 3 \, B a^{2} b d m^{5} x^{7} x^{m} e^{m} + 3 \, A a b^{2} d m^{5} x^{7} x^{m} e^{m} + 262 \, B b^{3} c m^{3} x^{9} x^{m} e^{m} + 786 \, B a b^{2} d m^{3} x^{9} x^{m} e^{m} + 262 \, A b^{3} d m^{3} x^{9} x^{m} e^{m} + 1689 \, B b^{3} d m x^{11} x^{m} e^{m} + 87 \, B a b^{2} c m^{4} x^{7} x^{m} e^{m} + 29 \, A b^{3} c m^{4} x^{7} x^{m} e^{m} + 87 \, B a^{2} b d m^{4} x^{7} x^{m} e^{m} + 87 \, A a b^{2} d m^{4} x^{7} x^{m} e^{m} + 1122 \, B b^{3} c m^{2} x^{9} x^{m} e^{m} + 3366 \, B a b^{2} d m^{2} x^{9} x^{m} e^{m} + 1122 \, A b^{3} d m^{2} x^{9} x^{m} e^{m} + 945 \, B b^{3} d x^{11} x^{m} e^{m} + 3 \, B a^{2} b c m^{5} x^{5} x^{m} e^{m} + 3 \, A a b^{2} c m^{5} x^{5} x^{m} e^{m} + B a^{3} d m^{5} x^{5} x^{m} e^{m} + 3 \, A a^{2} b d m^{5} x^{5} x^{m} e^{m} + 906 \, B a b^{2} c m^{3} x^{7} x^{m} e^{m} + 302 \, A b^{3} c m^{3} x^{7} x^{m} e^{m} + 906 \, B a^{2} b d m^{3} x^{7} x^{m} e^{m} + 906 \, A a b^{2} d m^{3} x^{7} x^{m} e^{m} + 2041 \, B b^{3} c m x^{9} x^{m} e^{m} + 6123 \, B a b^{2} d m x^{9} x^{m} e^{m} + 2041 \, A b^{3} d m x^{9} x^{m} e^{m} + 93 \, B a^{2} b c m^{4} x^{5} x^{m} e^{m} + 93 \, A a b^{2} c m^{4} x^{5} x^{m} e^{m} + 31 \, B a^{3} d m^{4} x^{5} x^{m} e^{m} + 93 \, A a^{2} b d m^{4} x^{5} x^{m} e^{m} + 4098 \, B a b^{2} c m^{2} x^{7} x^{m} e^{m} + 1366 \, A b^{3} c m^{2} x^{7} x^{m} e^{m} + 4098 \, B a^{2} b d m^{2} x^{7} x^{m} e^{m} + 4098 \, A a b^{2} d m^{2} x^{7} x^{m} e^{m} + 1155 \, B b^{3} c x^{9} x^{m} e^{m} + 3465 \, B a b^{2} d x^{9} x^{m} e^{m} + 1155 \, A b^{3} d x^{9} x^{m} e^{m} + B a^{3} c m^{5} x^{3} x^{m} e^{m} + 3 \, A a^{2} b c m^{5} x^{3} x^{m} e^{m} + A a^{3} d m^{5} x^{3} x^{m} e^{m} + 1050 \, B a^{2} b c m^{3} x^{5} x^{m} e^{m} + 1050 \, A a b^{2} c m^{3} x^{5} x^{m} e^{m} + 350 \, B a^{3} d m^{3} x^{5} x^{m} e^{m} + 1050 \, A a^{2} b d m^{3} x^{5} x^{m} e^{m} + 7731 \, B a b^{2} c m x^{7} x^{m} e^{m} + 2577 \, A b^{3} c m x^{7} x^{m} e^{m} + 7731 \, B a^{2} b d m x^{7} x^{m} e^{m} + 7731 \, A a b^{2} d m x^{7} x^{m} e^{m} + 33 \, B a^{3} c m^{4} x^{3} x^{m} e^{m} + 99 \, A a^{2} b c m^{4} x^{3} x^{m} e^{m} + 33 \, A a^{3} d m^{4} x^{3} x^{m} e^{m} + 5190 \, B a^{2} b c m^{2} x^{5} x^{m} e^{m} + 5190 \, A a b^{2} c m^{2} x^{5} x^{m} e^{m} + 1730 \, B a^{3} d m^{2} x^{5} x^{m} e^{m} + 5190 \, A a^{2} b d m^{2} x^{5} x^{m} e^{m} + 4455 \, B a b^{2} c x^{7} x^{m} e^{m} + 1485 \, A b^{3} c x^{7} x^{m} e^{m} + 4455 \, B a^{2} b d x^{7} x^{m} e^{m} + 4455 \, A a b^{2} d x^{7} x^{m} e^{m} + A a^{3} c m^{5} x x^{m} e^{m} + 406 \, B a^{3} c m^{3} x^{3} x^{m} e^{m} + 1218 \, A a^{2} b c m^{3} x^{3} x^{m} e^{m} + 406 \, A a^{3} d m^{3} x^{3} x^{m} e^{m} + 10467 \, B a^{2} b c m x^{5} x^{m} e^{m} + 10467 \, A a b^{2} c m x^{5} x^{m} e^{m} + 3489 \, B a^{3} d m x^{5} x^{m} e^{m} + 10467 \, A a^{2} b d m x^{5} x^{m} e^{m} + 35 \, A a^{3} c m^{4} x x^{m} e^{m} + 2262 \, B a^{3} c m^{2} x^{3} x^{m} e^{m} + 6786 \, A a^{2} b c m^{2} x^{3} x^{m} e^{m} + 2262 \, A a^{3} d m^{2} x^{3} x^{m} e^{m} + 6237 \, B a^{2} b c x^{5} x^{m} e^{m} + 6237 \, A a b^{2} c x^{5} x^{m} e^{m} + 2079 \, B a^{3} d x^{5} x^{m} e^{m} + 6237 \, A a^{2} b d x^{5} x^{m} e^{m} + 470 \, A a^{3} c m^{3} x x^{m} e^{m} + 5353 \, B a^{3} c m x^{3} x^{m} e^{m} + 16059 \, A a^{2} b c m x^{3} x^{m} e^{m} + 5353 \, A a^{3} d m x^{3} x^{m} e^{m} + 3010 \, A a^{3} c m^{2} x x^{m} e^{m} + 3465 \, B a^{3} c x^{3} x^{m} e^{m} + 10395 \, A a^{2} b c x^{3} x^{m} e^{m} + 3465 \, A a^{3} d x^{3} x^{m} e^{m} + 9129 \, A a^{3} c m x x^{m} e^{m} + 10395 \, A a^{3} c x x^{m} e^{m}}{m^{6} + 36 \, m^{5} + 505 \, m^{4} + 3480 \, m^{3} + 12139 \, m^{2} + 19524 \, m + 10395} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate((e*x)^m*(b*x^2+a)^3*(B*x^2+A)*(d*x^2+c),x, algorithm="giac")
[Out]
(B*b^3*d*m^5*x^11*x^m*e^m + 25*B*b^3*d*m^4*x^11*x^m*e^m + B*b^3*c*m^5*x^9*x^m*e^m + 3*B*a*b^2*d*m^5*x^9*x^m*e^
m + A*b^3*d*m^5*x^9*x^m*e^m + 230*B*b^3*d*m^3*x^11*x^m*e^m + 27*B*b^3*c*m^4*x^9*x^m*e^m + 81*B*a*b^2*d*m^4*x^9
*x^m*e^m + 27*A*b^3*d*m^4*x^9*x^m*e^m + 950*B*b^3*d*m^2*x^11*x^m*e^m + 3*B*a*b^2*c*m^5*x^7*x^m*e^m + A*b^3*c*m
^5*x^7*x^m*e^m + 3*B*a^2*b*d*m^5*x^7*x^m*e^m + 3*A*a*b^2*d*m^5*x^7*x^m*e^m + 262*B*b^3*c*m^3*x^9*x^m*e^m + 786
*B*a*b^2*d*m^3*x^9*x^m*e^m + 262*A*b^3*d*m^3*x^9*x^m*e^m + 1689*B*b^3*d*m*x^11*x^m*e^m + 87*B*a*b^2*c*m^4*x^7*
x^m*e^m + 29*A*b^3*c*m^4*x^7*x^m*e^m + 87*B*a^2*b*d*m^4*x^7*x^m*e^m + 87*A*a*b^2*d*m^4*x^7*x^m*e^m + 1122*B*b^
3*c*m^2*x^9*x^m*e^m + 3366*B*a*b^2*d*m^2*x^9*x^m*e^m + 1122*A*b^3*d*m^2*x^9*x^m*e^m + 945*B*b^3*d*x^11*x^m*e^m
+ 3*B*a^2*b*c*m^5*x^5*x^m*e^m + 3*A*a*b^2*c*m^5*x^5*x^m*e^m + B*a^3*d*m^5*x^5*x^m*e^m + 3*A*a^2*b*d*m^5*x^5*x
^m*e^m + 906*B*a*b^2*c*m^3*x^7*x^m*e^m + 302*A*b^3*c*m^3*x^7*x^m*e^m + 906*B*a^2*b*d*m^3*x^7*x^m*e^m + 906*A*a
*b^2*d*m^3*x^7*x^m*e^m + 2041*B*b^3*c*m*x^9*x^m*e^m + 6123*B*a*b^2*d*m*x^9*x^m*e^m + 2041*A*b^3*d*m*x^9*x^m*e^
m + 93*B*a^2*b*c*m^4*x^5*x^m*e^m + 93*A*a*b^2*c*m^4*x^5*x^m*e^m + 31*B*a^3*d*m^4*x^5*x^m*e^m + 93*A*a^2*b*d*m^
4*x^5*x^m*e^m + 4098*B*a*b^2*c*m^2*x^7*x^m*e^m + 1366*A*b^3*c*m^2*x^7*x^m*e^m + 4098*B*a^2*b*d*m^2*x^7*x^m*e^m
+ 4098*A*a*b^2*d*m^2*x^7*x^m*e^m + 1155*B*b^3*c*x^9*x^m*e^m + 3465*B*a*b^2*d*x^9*x^m*e^m + 1155*A*b^3*d*x^9*x
^m*e^m + B*a^3*c*m^5*x^3*x^m*e^m + 3*A*a^2*b*c*m^5*x^3*x^m*e^m + A*a^3*d*m^5*x^3*x^m*e^m + 1050*B*a^2*b*c*m^3*
x^5*x^m*e^m + 1050*A*a*b^2*c*m^3*x^5*x^m*e^m + 350*B*a^3*d*m^3*x^5*x^m*e^m + 1050*A*a^2*b*d*m^3*x^5*x^m*e^m +
7731*B*a*b^2*c*m*x^7*x^m*e^m + 2577*A*b^3*c*m*x^7*x^m*e^m + 7731*B*a^2*b*d*m*x^7*x^m*e^m + 7731*A*a*b^2*d*m*x^
7*x^m*e^m + 33*B*a^3*c*m^4*x^3*x^m*e^m + 99*A*a^2*b*c*m^4*x^3*x^m*e^m + 33*A*a^3*d*m^4*x^3*x^m*e^m + 5190*B*a^
2*b*c*m^2*x^5*x^m*e^m + 5190*A*a*b^2*c*m^2*x^5*x^m*e^m + 1730*B*a^3*d*m^2*x^5*x^m*e^m + 5190*A*a^2*b*d*m^2*x^5
*x^m*e^m + 4455*B*a*b^2*c*x^7*x^m*e^m + 1485*A*b^3*c*x^7*x^m*e^m + 4455*B*a^2*b*d*x^7*x^m*e^m + 4455*A*a*b^2*d
*x^7*x^m*e^m + A*a^3*c*m^5*x*x^m*e^m + 406*B*a^3*c*m^3*x^3*x^m*e^m + 1218*A*a^2*b*c*m^3*x^3*x^m*e^m + 406*A*a^
3*d*m^3*x^3*x^m*e^m + 10467*B*a^2*b*c*m*x^5*x^m*e^m + 10467*A*a*b^2*c*m*x^5*x^m*e^m + 3489*B*a^3*d*m*x^5*x^m*e
^m + 10467*A*a^2*b*d*m*x^5*x^m*e^m + 35*A*a^3*c*m^4*x*x^m*e^m + 2262*B*a^3*c*m^2*x^3*x^m*e^m + 6786*A*a^2*b*c*
m^2*x^3*x^m*e^m + 2262*A*a^3*d*m^2*x^3*x^m*e^m + 6237*B*a^2*b*c*x^5*x^m*e^m + 6237*A*a*b^2*c*x^5*x^m*e^m + 207
9*B*a^3*d*x^5*x^m*e^m + 6237*A*a^2*b*d*x^5*x^m*e^m + 470*A*a^3*c*m^3*x*x^m*e^m + 5353*B*a^3*c*m*x^3*x^m*e^m +
16059*A*a^2*b*c*m*x^3*x^m*e^m + 5353*A*a^3*d*m*x^3*x^m*e^m + 3010*A*a^3*c*m^2*x*x^m*e^m + 3465*B*a^3*c*x^3*x^m
*e^m + 10395*A*a^2*b*c*x^3*x^m*e^m + 3465*A*a^3*d*x^3*x^m*e^m + 9129*A*a^3*c*m*x*x^m*e^m + 10395*A*a^3*c*x*x^m
*e^m)/(m^6 + 36*m^5 + 505*m^4 + 3480*m^3 + 12139*m^2 + 19524*m + 10395)
________________________________________________________________________________________
Mupad [B]
time = 1.44, size = 469, normalized size = 2.48 \begin {gather*} \frac {a^2\,x^3\,{\left (e\,x\right )}^m\,\left (A\,a\,d+3\,A\,b\,c+B\,a\,c\right )\,\left (m^5+33\,m^4+406\,m^3+2262\,m^2+5353\,m+3465\right )}{m^6+36\,m^5+505\,m^4+3480\,m^3+12139\,m^2+19524\,m+10395}+\frac {b^2\,x^9\,{\left (e\,x\right )}^m\,\left (A\,b\,d+3\,B\,a\,d+B\,b\,c\right )\,\left (m^5+27\,m^4+262\,m^3+1122\,m^2+2041\,m+1155\right )}{m^6+36\,m^5+505\,m^4+3480\,m^3+12139\,m^2+19524\,m+10395}+\frac {a\,x^5\,{\left (e\,x\right )}^m\,\left (3\,A\,b^2\,c+B\,a^2\,d+3\,A\,a\,b\,d+3\,B\,a\,b\,c\right )\,\left (m^5+31\,m^4+350\,m^3+1730\,m^2+3489\,m+2079\right )}{m^6+36\,m^5+505\,m^4+3480\,m^3+12139\,m^2+19524\,m+10395}+\frac {b\,x^7\,{\left (e\,x\right )}^m\,\left (A\,b^2\,c+3\,B\,a^2\,d+3\,A\,a\,b\,d+3\,B\,a\,b\,c\right )\,\left (m^5+29\,m^4+302\,m^3+1366\,m^2+2577\,m+1485\right )}{m^6+36\,m^5+505\,m^4+3480\,m^3+12139\,m^2+19524\,m+10395}+\frac {B\,b^3\,d\,x^{11}\,{\left (e\,x\right )}^m\,\left (m^5+25\,m^4+230\,m^3+950\,m^2+1689\,m+945\right )}{m^6+36\,m^5+505\,m^4+3480\,m^3+12139\,m^2+19524\,m+10395}+\frac {A\,a^3\,c\,x\,{\left (e\,x\right )}^m\,\left (m^5+35\,m^4+470\,m^3+3010\,m^2+9129\,m+10395\right )}{m^6+36\,m^5+505\,m^4+3480\,m^3+12139\,m^2+19524\,m+10395} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
int((A + B*x^2)*(e*x)^m*(a + b*x^2)^3*(c + d*x^2),x)
[Out]
(a^2*x^3*(e*x)^m*(A*a*d + 3*A*b*c + B*a*c)*(5353*m + 2262*m^2 + 406*m^3 + 33*m^4 + m^5 + 3465))/(19524*m + 121
39*m^2 + 3480*m^3 + 505*m^4 + 36*m^5 + m^6 + 10395) + (b^2*x^9*(e*x)^m*(A*b*d + 3*B*a*d + B*b*c)*(2041*m + 112
2*m^2 + 262*m^3 + 27*m^4 + m^5 + 1155))/(19524*m + 12139*m^2 + 3480*m^3 + 505*m^4 + 36*m^5 + m^6 + 10395) + (a
*x^5*(e*x)^m*(3*A*b^2*c + B*a^2*d + 3*A*a*b*d + 3*B*a*b*c)*(3489*m + 1730*m^2 + 350*m^3 + 31*m^4 + m^5 + 2079)
)/(19524*m + 12139*m^2 + 3480*m^3 + 505*m^4 + 36*m^5 + m^6 + 10395) + (b*x^7*(e*x)^m*(A*b^2*c + 3*B*a^2*d + 3*
A*a*b*d + 3*B*a*b*c)*(2577*m + 1366*m^2 + 302*m^3 + 29*m^4 + m^5 + 1485))/(19524*m + 12139*m^2 + 3480*m^3 + 50
5*m^4 + 36*m^5 + m^6 + 10395) + (B*b^3*d*x^11*(e*x)^m*(1689*m + 950*m^2 + 230*m^3 + 25*m^4 + m^5 + 945))/(1952
4*m + 12139*m^2 + 3480*m^3 + 505*m^4 + 36*m^5 + m^6 + 10395) + (A*a^3*c*x*(e*x)^m*(9129*m + 3010*m^2 + 470*m^3
+ 35*m^4 + m^5 + 10395))/(19524*m + 12139*m^2 + 3480*m^3 + 505*m^4 + 36*m^5 + m^6 + 10395)
________________________________________________________________________________________